-
1 realizable formula
Большой англо-русский и русско-английский словарь > realizable formula
-
2 realizable formula
Математика: реализуемая формула -
3 realizable formula
мат. -
4 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
5 реализуемая формула
Большой англо-русский и русско-английский словарь > реализуемая формула
-
6 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
7 budget
1. n1) бюджет; детальный план доходов и расходов правительства
- ad budget
- additional budget
- administrative budget
- adverse budget
- advertising budget
- annual budget
- approved budget
- austerity budget
- autonomous budget
- balanced budget
- balanced state budget
- capital budget
- capital assets budget
- capital expenditure budget
- cash budget
- city budget
- consolidated budget
- consumer budget
- current budget
- defence budget
- deficit-free budget
- deficit-ridden
- department budget
- district budget
- double budget
- draft budget
- emergency budget
- excise budget
- expense budget
- extraordinary budget
- family budget
- federal budget
- fixed budget
- fixed assets budget
- flexible budget
- forecast budget
- formula budget
- government budget
- household budget
- independent budget
- labour budget
- legislative budget
- local budget
- low budget
- manpower budget
- manufacturing overhead budget
- master budget
- materials budget
- military budget
- mini budget
- multiple budget
- municipal budget
- national budget
- operating budget
- ordinary budget
- overall budget
- overhead budget
- performance budget
- physical budget
- planning budget
- practicable budget
- programme budget
- project budget
- proposed budget
- publicity budget
- purchase budget
- realizable budget
- regional budget
- sales budget
- sequestrated budget
- sliding-scale budget
- state budget
- state social insurance budget
- step budget
- supplementary budget
- surplus budget
- tough budget
- transitional budget
- unbalanced budget
- unified budget
- voted budget
- budget of expenditure
- budget of volume and expenditure
- approve the budget
- balance the budget
- bring in the budget
- build up a budget
- cut the budget
- decrease the budget
- draw up a budget
- exceed the budget
- execute the budget
- implement the budget
- include in the budget
- increase the budget
- make a budget
- open the budget
- pass the budget
- prepare the budget
- present the budget
- stretch the budget
- submit the budget
- subsidize from the budget
- work out a budget2. v2) планироватьEnglish-russian dctionary of contemporary Economics > budget
См. также в других словарях:
Net realizable value — (NRV) is a method of evaluating an asset s worth when held in inventory, in the field of accounting. NRV is part of the Generally Accepted Accounting Principles and International Financial Reporting Standards (IFRS) that apply to valuing… … Wikipedia
Realizability — is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. [Oosten, pp. 3 5] A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other… … Wikipedia
Nyquist–Shannon sampling theorem — Fig.1: Hypothetical spectrum of a bandlimited signal as a function of frequency The Nyquist–Shannon sampling theorem, after Harry Nyquist and Claude Shannon, is a fundamental result in the field of information theory, in particular… … Wikipedia
Offer in compromise — The Offer in Compromise (or OIC) program, in the United States, is an Internal Revenue Service (IRS) program under 26 U.S.C. § 7122 which allows qualified individuals with an unpaid tax debt to negotiate a settled amount that is less… … Wikipedia
thought — thought1 /thawt/, n. 1. the product of mental activity; that which one thinks: a body of thought. 2. a single act or product of thinking; idea or notion: to collect one s thoughts. 3. the act or process of thinking; mental activity: Thought as… … Universalium
Degree (graph theory) — A graph with vertices labeled by degree In graph theory, the degree (or valency) of a vertex of a graph is the number of edges incident to the vertex, with loops counted twice.[1] The degree of a vertex … Wikipedia
Judaism — /jooh dee iz euhm, day , deuh /, n. 1. the monotheistic religion of the Jews, having its ethical, ceremonial, and legal foundation in the precepts of the Old Testament and in the teachings and commentaries of the rabbis as found chiefly in the… … Universalium
Generalized Processor Sharing — (GPS)cite journal|first=A. K.|last=Parekh|coauthors=Gallager, R. G.|title=A Generalized Processor Sharing approach to Flow control in Integrated Services Networks: The Single Node Case|journal=Proceedings of IEEE Infocom|year=1992] was developed… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of … Wikipedia
Bangor, Maine — City City of Bangor[1] … Wikipedia